Alloy Analyzer
Alloy
を操作するEditor的なやつ
website
The Alloy Analyzer Layout
画面の説明
補完とか全然効かないんだな
mrsekut.icon
https://gyazo.com/66d00159aa5139c90bf3634976a4b8ab
Execute
最も最近実行した
AlloyのCommand
の実行
1回も実行していない場合はファイル内の最も先頭のコマンドを実行
instanceが見つかったら青リンクになる
青リンククリックすれば
Alloy Visualizer
を起動する
Show
Alloy Visualizer
を起動し、反例かinstanceを表示する
unsat core
unsatisfiable core
解が見つからない原因
/mrsekut-book-4274068587/341 (F.3.3 トラブルシューティング)
/mrsekut-book-4274068587/336 (付録F Alloy Analyzerクイックガイド)